Philosophers have long been interested in a series of interrelated questions about natural kinds. What are they? What role do they play in science and metaphysics? How do they contribute to our epistemic projects? What categories count as natural kinds? And so on. Owing, perhaps, to different starting points and emphases, we now have at hand a variety of conceptions of natural kinds—some apparently better suited than others to accommodate a particular sort of inquiry. Even if coherent, this situation isn’t (...) ideal. My goal in this article is to begin to articulate a more general account of ‘natural kind phenomena’. While I do not claim that this account should satisfy everyone—it is built around a certain conception of the epistemic role of kinds and has an obvious pragmatic flavour—I believe that it has the resources to go further than extant alternatives, in particular the homeostatic property cluster view of kinds. (shrink)

What sort of philosophical work are natural kinds suited for? Scientific realists often contend that they provide the ‘aboutness’ of successful of scientific classification and explain their epistemic utility (among other side hustles). Recent history has revealed this to be a tricky job — particularly given the present naturalistic climate of philosophy of science. As a result, we’ve seen an explosion of different sorts of theories. This phenomenon that has suggested to some that philosophical theorizing about natural kinds has reached (...) a sort of ‘scholastic twilight’ and that the concept (or family of concepts) has outlived its utility: perhaps there’s no work natural kinds are suited for. While I think this pessimistic take is unwarranted, I will argue that it is worth rethinking the roles to which a reasonably naturalistic account of natural kinds can be fruitfully put. Natural kinds deserve a shorter work week. (shrink)

The COVID-19 pandemic and global climate change crisis remind us that widespread trust in the products of the scientific enterprise is vital to the health and safety of the global community. Insofar as appropriate responses to these crises require us to trust that enterprise, cultivating a healthier trust relationship between science and the public may be considered as a collective public good. While it might appear that scientists can contribute to this good by taking more initiative to communicate their work (...) to public audiences, we raise a concern about unintended consequences of an individualistic approach to such communication. (shrink)

Science communication via testimony requires a certain level of trust. But in the context of ideologically-entangled scientific issues, trust is in short supply—particularly when the issues are politically ‘entangled’. In such cases, cultural values are better predictors than scientific literacy for whether agents trust the publicly-directed claims of the scientific community. In this paper, we argue that a common way of thinking about scientific literacy—as knowledge of particular scientific facts or concepts—ought to give way to a second-order understanding of science (...) as a process as a more important notion for the public’s trust of science. (shrink)

Talk of different types of cells is commonplace in the biological sciences. We know a great deal, for example, about human muscle cells by studying the same type of cells in mice. Information about cell type is apparently largely projectible across species boundaries. But what defines cell type? Do cells come pre-packaged into different natural kinds? Philosophical attention to these questions has been extremely limited [see e.g., Wilson (Species: New Interdisciplinary Essays, pp 187–207, 1999; Genes and the Agents of Life, (...) 2005; Wilson et al. Philos Top 35(1/2):189–215, 2007)]. On the face of it, the problems we face in individuating cellular kinds resemble those biologists and philosophers of biology encountered in thinking about species: there are apparently many different (and interconnected) bases on which we might legitimately classify cells. We could, for example, focus on their developmental history (a sort of analogue to a species’ evolutionary history); or we might divide on the basis of certain structural features, functional role, location within larger systems, and so on. In this paper, I sketch an approach to cellular kinds inspired by Boyd’s Homeostatic Property Cluster Theory, applying some lessons from this application back to general questions about the nature of natural kinds. (shrink)

The world contains many different types of ecosystems. This is something of a commonplace in biology and conservation science. But there has been little attention to the question of whether such ecosystem types enjoy a degree of objectivity—whether they might be natural kinds. I argue that traditional accounts of natural kinds that emphasize nomic or causal–mechanistic dimensions of “kindhood” are ill-equipped to accommodate presumptive ecosystemic kinds. In particular, unlike many other kinds, ecosystemic kinds are “anchored” to the contingent character of (...) species and higher taxa and their abiotic environments. Drawing on Slater (Br J Philos Sci 66(2):375–411, 2015a), I show how we can nevertheless make room for such contingent anchoring in an account of natural kinds of ecosystems kinds. (shrink)

Some astronomers believe that we have discovered that Pluto is not a planet. I contest this assessment. Recent discoveries of trans-Neptunian Pluto-sized objects do not require that we exclude Pluto from the planets. But the obvious alternative, that classificatory revision is a matter of arbitrary choice, is also unpalatable. I argue that this classificatory controversy — which I compare to the controversy about the classification of the platypus — illustrates how our classificatory practices are laden with normative commitments of a (...) distinctive kind. I argue that the “norm-ladenness” of classification has philosophically significant ramifications for how we think about scientific disputes and debates in the metaphysics of classification such as the monism/pluralism debate. (shrink)

Good chefs know the importance of maintaining sharp knives in the kitchen. What’s their secret? A well-worn Taoist allegory offers some advice. The king asks about his butcher’s impressive knifework. “Ordinary butchers,” he replied “hack their way through the animal. Thus their knife always needs sharpening. My father taught me the Taoist way. I merely lay the knife by the natural openings and let it find its own way through. Thus it never needs sharpening” (Kahn 1995, vii; see also Watson (...) 2003, 46). Plato famously employed this image as an analogy for the reality of his Forms (Phaedrus, 265e). Just like an animal, the world comes pre-divided for us. Ideally, our best theories will be those which “carve nature at its joints”. While Plato employed the “carving” metaphor to convey his views about the reality of his celebrated Forms, its most common contemporary use involves the success of science -- particularly, its success in identifying distinct kinds of things. Scientists often report discovering new kinds of things -- a new species of mammal or novel kind of fundamental particle, for example -- or uncovering more information about already familiar kinds. Moreover, we often notice considerable overlap in different approaches to classification. As Ernst Mayr put it: No naturalist would question the reality of the species he may find in his garden, whether it is a catbird, chickadee, robin, or starling. And the same is true for trees or flowering plants. Species at a given locality are almost invariably separated from each other by a distinct gap. Nothing convinced me so fully of the reality of species as the observation . . . that the Stone Age natives in the mountains of New Guinea recognize as species exactly the same entities of nature as a western scientist. (Mayr 1987, 146) Such agreement is certainly suggestive. It suggests that taxonomies are discoveries rather than mere inventions. Couple this with their utility in scientific inference and explanation and we have compelling reason for accepting the objective, independent reality of many different natural kinds of things.. (shrink)

For as long as there have been markets, there have been complaints about market motives. For much of this history, the two sides have talked past one another. Optimists about markets have mostly addressed other optimists, and failed to take seriously the kinds of relational values that might be at stake and the range of possible alternatives to market-based production. Pessimists about markets have mostly addressed other pessimists, and failed to take seriously the full range of market-involving economic structures and (...) the different kinds of psychologies compatible with market interactions. Recently, there has been a break-through, on behalf of the optimists. According to the model of exchange as mutual assistance, an exchange can be perceived as a joint activity for mutual benefit - and needn't involve self-directed motives at all. This essay pushes back, on behalf of the market pessimists. The essay develops a contrast between exchange as mutual assistance and an ideal of production as caring solidarity, in which production is a joint activity of caring about one another. This alternative ideal draws on Marxist, socialist, feminist, and Christian traditions, and, in particular, on recent work on care, solidarity, and alienation. These two models – exchange as mutual assistance and production as caring solidarity – share key features, including an emphasis on reasoning from a ‘we-perspective’, on trusting one another, and on resisting a familiar self/other motivational dichotomy. Key differences are developed in detail. The essay concludes by discussing the implications for an economics of caring solidarity, with discussion of the limitations of various market socialist strategies. (shrink)

Different chemical species are often cited as paradigm examples of structurally delimited natural kinds. While classificatory monism may thus seem plausible for simple molecules, it looks less attractive for complex biological macromolecules. I focus on the case of proteins that are most plausibly individuated by their functions. Is there a single, objective count of proteins? I argue that the vagaries of function individuation infect protein classification. We should be pluralists about macromolecular classification.

The scientific community, we hold, often provides society with knowledge—that the HIV virus causes AIDS, that anthropogenic climate change is underway, that the MMR vaccine is safe. Some deny that we have this knowledge, however, and work to undermine it in others. It has been common to refer to such agents as “denialists”. At first glance, then, denialism appears to be a form of skepticism. But while we know that various denialist strategies for suppressing belief are generally effective, little is (...) known about which strategies are most effective. We see this as an important first step toward their remediation. This paper leverages the approximate comparison to various forms of philosophical skepticism to design an experimental test of the efficacy of four broad strategies of denial at suppressing belief in specific scientific claims. Our results suggest that assertive strategies are more effective at suppressing belief than questioning strategies. (shrink)

We begin at the beginning, with an outline of Aristotle’s views on ontology and with a discussion of the influence of these views on Linnaeus. We move from there to consider the data standardization initiatives launched in the 19th century, and then turn to investigate how the idea of computational ontologies developed in the AI and knowledge representation communities in the closing decades of the 20th century. We show how aspects of this idea, particularly those relating to the use of (...) the term 'concept' in ontology development, influenced SNOMED CT and other medical terminologies. Against this background we then show how the Foundational Model of Anatomy, the Gene Ontology, Basic Formal Ontology and other OBO Foundry ontologies came into existence and discuss their role in the development of contemporary biomedical informatics. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

Searle’s tool for understanding culture, law and society is the opposition between brute reality and institutional reality, or in other words between: observer-independent features of the world, such as force, mass and gravitational attraction, and observer-relative features of the world, such as money, property, marriage and government. The question posed here is: under which of these two headings do moral concepts fall? This is an important question because there are moral facts – for example pertaining to guilt and responsibility – (...) which hover uncomfortably close to the boundary between the observer-relative and the observer-independent. By means of a thought experiment involving an imagined Chinese society in which guilt is determined by the random throwing of sticks, I seek to show that moral concepts threaten the foundations of Searle’s philosophy of social reality. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

Do the laws of nature supervene on ordinary, non-nomic matters of fact? Lange's criticism of Humean supervenience (HS) plays a key role in his account of natural laws. Though we are sympathetic to his account, we remain unconvinced by his criticism. We focus on his thought experiment involving a world containing nothing but a lone proton and argue that it does not cast sufficient doubt on HS. In addition, we express some concern about locating the lawmakers in an ontology of (...) primitive subjunctive facts and suggest that a 'mixed' metaphysics to the lawmaker question might be attractive. (shrink)

A number of influential biologists are currently pursuing efforts to restore previously extinct species. But for decades, philosophers of biology have regarded “de-extinction” as conceptually incoherent. Once a species is gone, it is gone forever. We argue that a range of metaphysical, biological, and ethical grounds for opposing de-extinction are at best inconclusive and that a pragmatic stance that allows for its possibility is more appealing.

The primary aim of this paper is to argue that the value of understanding derives in part from a kind of subjective stability of belief that we call epistemic resilience. We think that this feature of understanding has been overlooked by recent work, and we think it’s especially important to the value of understanding for social cognitive agents such as us. We approach the concept of epistemic resilience via the idea of the experience of epistemic ownership and argue that the (...) former concept has Platonic pedigree. Contrary to longstanding exegetical tradition, we think that Plato solves the “Meno problem” with an appeal to the epistemic resilience characteristic of understanding, not the well-groundedness characteristic of canonical cases of propositional knowledge. Finally, we apply our discussion to the case of science outreach and the challenge of global warming skepticism and conclude with directions for future research. (shrink)

Trust in the scientific enterprise — in science as an institution — is arguably important to individuals’ and societies’ well-being. Although some measures of public trust in science exist, the recipients of that trust are often ambiguous between trusting individual scientists and the scientific community at large. We argue that more precision would be beneficial — specifically, targeting public trust of the scientific community at large — and describe the development and validation of such an instrument: the Scientific Community Trust (...) Index (SCTI). We show the results of initial field testing to establish instrument reliability and validity. We then demonstrate certain advantages of the SCTI against other measures of trust and deference, and present correlations between the SCTI and participant scores in two trust-in-science scenarios. Our results suggest that the SCTI is a useful and compact tool for measuring public trust in the scientific community. (shrink)

Our aim in this brief essay is not to defend a particular policy or attitude toward lockdown measures in the United States or elsewhere, but to consider the scope and limits of different types of arguments that can be offered for them. Understanding the complexity of these issues will, we hope, go some way to helping us understand each other and our attitudes toward state responses to the pandemic.

We argue that a modified version of Mill’s method of agreement can strongly confirm causal generalizations. This mode of causal inference implicates the explanatory virtues of mechanism, analogy, consilience, and simplicity, and we identify it as a species of Inference to the Best Explanation (IBE). Since rational causal inference provides normative guidance, IBE is not a heuristic for Bayesian rationality. We give it an objective Bayesian formalization, one that has no need of principles of indifference and yields responses to the (...) Voltaire objection, van Fraassen’s Bad Lot objection, and John Norton’s recent objection to IBE. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

The parceling of land into real estate is more than a simple geometrical affair. Real estate is a historical product of interaction between human beings, political, legal and economic institutions, and the physical environment. And while many authors, from Jeremy Bentham to Hernando de Soto, have drawn attention to the ontological (metaphysical) aspect of property in general, no comprehensive analysis of landed property has been attempted. The paper presents such an analysis and shows how landed property differs from other types (...) of property in a way which implies a special role for political and economic philosophy of property rights in land. This is the Chinese translation of "The Metaphysics of Real Estate", Topoi, 20: 2 (September 2001), 161–172. (shrink)

Can there be a theory-free experience? And what would be the object of such an experience. Drawing on ideas set out by Husserl in the “Crisis” and in the second book of his “Ideas”, the paper presents answers to these questions in such a way as to provide a systematic survey of the content and ontology of common sense. In the second part of the paper Husserl’s ideas on the relationship between the common-sense world (what he called the ‘life-world’) and (...) the world of physical theory are subjected to a critical evaluation. The relation of Husserl’s ideas to current work in folk psychology and naive physics and to the direct realism of J. J. Gibson are also treated. (shrink)

This paper is in two parts. Part 1 examines the phenomenon of making space as a process involving one or other kind of legal decision-making, for example when a state authority authorizes the creation of a new highway along a certain route or the creation of a new park in a certain location. In cases such as this a new abstract spatial entity comes into existence – the route, the area set aside for the park – followed only later by (...) concordant changes in physical reality. In Part 2 we show that features identified in studying this phenomenon of legal spacemaking can be detected in other spheres of human activity, for example in planning (where spacemaking is projected into the future), and in reasoning about history (where spacemaking is projected back through time). We shall see that these features display themselves in especially complex ways in our everyday use of language, and we conclude by examining the implications of this complexity for attempts to create an artificial intelligence that would enjoy a mastery of language that would be equivalent to that of human beings. (shrink)

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the (...) relation between fetus and mother (connection, parthood, dependence). (shrink)

Ontologies and standards are strongly interrelated and can often be seen as two sides of the same coin. Indeed, standards reflect consensus on the semantics of terms, though different standards might employ different ways to explain the same or very similar concepts semantically. Given the crucial role played by both aspects in OntoCommons, we have interviewed Barry Smith, SUNY Distinguished Professor of Philosophy at the University at Buffalo and one of the External Advisory Board (EAB) members of the OntoCommons (...) project, to better understand what are the challenges and priorities to focus on in this context. (shrink)

The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our cognitive acts (for example, (...) the planet Earth, its exterior surface); and those which exist only in virtue of such acts (for example: the equator, the North Sea). The visual field, too, can be conceived as an example of an extended entity that is dependent in the sense at issue. The paper suggests extending this analogy by postulating entities which would stand to true judgments as the visual field stands to acts of visual perception. The judgment field is defined more precisely as that complex extended entity which comprehends all entities which are relevant to the truth of a given (true) judgment. The work of cognitive linguists such as Talmy and Langacker, when properly interpreted, can be shown to yield a detailed account of the structures of the judgment fields corresponding to sentences of different sorts. A new sort of correspondence-theoretic definition of truth for sentences of natural language can then be formulated on this basis. (shrink)

How, as Caldwell puts it, does one choose between rival systems all of which claim to rest on a priori foundations? On the nonfallibilistic conception it is difficult to make sense even of the possibility of rival systems of this sort. On the conception here defended, in contrast, the existence of such rival systems can be seen to be a perfectly natural and acceptable consequence of the just-mentioned difficulties we will often fact in coming to know even the intelligible traits (...) of reality: one adjudicates between such systems in the same way in which one adjudicates between all rival scientific hypotheses, namely via a complex mixture of empirical and a priori considerations. (shrink)

The thesis that an analysis of property rights is essential to an adequate analysis of the state is a mainstay of political philosophy. The contours of the type of government a society has are shaped by the system regulating the property rights prevailing in that society. Views of this sort are widespread. They range from Locke to Nozick and encompass pretty much everything else in between. Defenders of this sort of view accord to property rights supreme importance. A state that (...) does not sufficiently respect property rights is likely to be a totalitarian state, and will also be likely to fail to respect rights of other sorts. (shrink)

Autobiography of Barry Smith; emphasizes the role of Dummett and Husserl, Austrian philosophy and economics, and the Munich-Göttingen-Kraków school of realist phenomenology.

In a development that has still been hardly noticed by philosophers, a conception of ontology has been advanced in recent years in a series of extra-philosophical disciplines as researchers in linguistics, psychology, geography and anthropology have sought to elicit the ontological commitments (‘ontologies’, in the plural) of different cultures or disciplines. Exploiting the terminology of Quine, researchers in psychology and anthropology have sought to establish what individual human subjects, or entire human cultures, are committed to, ontologically, in their everyday cognition, (...) in much the same way in which philosophers of science have attempted to elicit the ontological commitments of the natural sciences. Thus they have engaged in inquiries designed to establish how folk ontologies (or folk biologies, folk theories of physics, folk psychologies, and so on) develop through infancy and childhood, or to establish the degree to which given elements of folk ontologies reflect universal features of the human cognitive system. In a parallel development, researchers in biomedicine developed what they called 'ontologies' as controlled vocabularies to ensure interoperability of the way in which, for example, genomic data is described in different biological disciplines. We describe in what follows some of the relations between these efforts and the more traditional concerns of philosophers. (shrink)

In his book The Sensory Order, Hayek anticipates many of the central ideas behind what we now call the connectionist paradigm, and develops on this basis a theory of the workings of the human mind that extends the thinking of Hume and Mach. He shows that the idea of neural networks is can be applied not only in psychology and neurology but also in the sphere of economics. For the mind, from the perspective of The Sensory Order, is a dynamic, (...) relational affair that is in many respects analogous to a market process. The mind, as Hayek puts it, is a 'continuous stream of impulses, the significance of each and every contribution of which is determined by the place in the pattern of channels through which they flow' , so that the flow of representative neural impulses can be compared 'to a stock of capital being nourished by inputs and giving a continuous stream of outputs'. (shrink)

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. (...) Broadly, the objects towards which human cognition is directed should be parts of reality in a sense that is at least consistent with the truths of natural science. But such a scheme should also be (2) comprehensive: it should do justice to each sort of object on its own terms, and not attempt to eliminate objects of one sort in favour of objects of other, more favoured sorts. Linguistic and other forms of idealism, as well as Meinongian theories, which assign to each and every referring expression or intentional act an object tailored to fit, yield categorial schemes which fail to satisfy (1). Physicalistic and other forms of reductionism yield categorial schemes which fail to satisfy (2). What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each. (shrink)

This paper argues that Kant’s most famous objection to the ontological argument -- that existence is not a real predicate -- is not, in fact, his most effective objection, and that his ”neglected objection’ to the argument deserves to be better known. It shows that Kant clearly anticipates William Rowe’s later objection that the argument begs the question, and discusses why Kant himself seems to have overlooked the force of this criticism in his attempt to demolish the traditional proofs for (...) God’s existence. (shrink)

The most obvious varieties of mental phenomena directed to non- existent objects occur in our experiences of works of art. The task of applying the Meinongian ontology of the non-existent to the working out of a theory of aesthetic phenomena was however carried out not by Meinong by his disciple Stephan Witasek in his Grundzüge der allgemeinen Ästhetik of 1904. Witasek shows in detail how our feelings undergo certain sorts of structural modifications when they are directed towards what does not (...) exist. He draws a distinction between genuine mental phenomena and what he calls `phantasy-material', asserting that `the job of the aesthetic object, whether it is a work of art or a product of nature, is to excite and support the actualisation of phantasy-material in the experiencing subject'. We might think of such phantasy-material as a matter of Ersatz-emotions or emotional `slop'. We could then see Witasek's aesthetics as an elaborate taxonomy of the various different sorts of Ersatz-emotions which the subject allows to be stimulated within himself in his intercourse with works of art, and see works of art themselves as machines for the production of ever more subtle varieties of such phantasy-material in the perceiving subject. (shrink)

It is plausible that there are epistemic reasons bearing on a distinctively epistemic standard of correctness for belief. It is also plausible that there are a range of practical reasons bearing on what to believe. These theses are often thought to be in tension with each other. Most significantly for our purposes, it is obscure how epistemic reasons and practical reasons might interact in the explanation of what one ought to believe. We draw an analogy with a similar distinction between (...) types of reasons for actions in the context of activities. The analogy motivates a two-level account of the structure of normativity that explains the interaction of correctness-based and other reasons. This account relies upon a distinction between normative reasons and authoritatively normative reasons. Only the latter play the reasons role in explaining what state one ought to be in. All and only practical reasons are authoritative reasons. Hence, in one important sense, all reasons for belief are practical reasons. But this account also preserves the autonomy and importance of epistemic reasons. Given the importance of having true beliefs about the world, our epistemic standard typically plays a key role in many cases in explaining what we ought to believe. In addition to reconciling (versions of) evidentialism and pragmatism, this two-level account has implications for a range of important debates in normative theory, including the interaction of right and wrong reasons for actions and other attitudes, the significance of reasons in understanding normativity and authoritative normativity, the distinction between ‘formal’ and ‘substantive’ normativity, and whether there is a unified source of authoritative normativity. (shrink)

To enhance the treatment of relations in biomedical ontologies we advance a methodology for providing consistent and unambiguous formal definitions of the relational expressions used in such ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation. The resulting Relation Ontology can promote interoperability of ontologies and support new types of automated reasoning about the spatial and temporal dimensions of biological and medical phenomena.

This is a revised version of the introductory essay in C. Eschenbach, C. Habel and B. Smith (eds.), Topological Foundations of Cognitive Science, Hamburg: Graduiertenkolleg Kognitionswissenschaft, 1994, the text of a talk delivered at the First International Summer Institute in Cognitive Science in Buffalo in July 1994.

In “On Drawing Lines on a Map” (1995), I suggested that the different ways we have of drawing lines on maps open up a new perspective on ontology, resting on a distinction between two sorts of boundaries: fiat and bona fide. “Fiat” means, roughly: human-demarcation-induced. “Bona fide” means, again roughly: a boundary constituted by some real physical discontinuity. I presented a general typology of boundaries based on this opposition and showed how it generates a corresponding typology of the different sorts (...) of objects which boundaries determine or demarcate. In this paper, I describe how the theory of fiat boundaries has evolved since 1995, how it has been applied in areas such as property law and political geography, and how it is being used in contemporary work in formal and applied ontology, especially within the framework of Basic Formal Ontology. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

How many championships have the Lakers won? Fourteen, if one counts those won in Minneapolis; nine, otherwise. Which is the correct answer? Is it even obvious that there is a correct answer? One is tempted to identify a team with its players. But teams, like ordinary objects, seem to survive gradual turnover of their parts. Suppose players from the Lakers are gradually replaced, one by one, over the years. We have the intuition that the team persists through this change, even (...) after none of the original players remain. Suppose too that these original players wind up playing for the Celtics. Lakers fans face an awkward question: for whom should they root? On the one hand, they have the team currently playing in L.A.—a team that has continued gradually through the years, who wear the same uniforms, but now can’t make the playoffs. On the other hand, there are the beloved Lakers starting five (responsible for all those championships) now playing together in the hated Boston garden—a team which looks (despite wearing those hated Celtics jerseys) and plays just like the Lakers of old. What’s a loyal fan to do? (shrink)

This short paper seeks to throw light on the sense in which the prior knowledge used by AlphaFold is to be understood in ontological terms. The paper is a comment on the 2022 ICBO presentation by Jobst Landgrebe entitled “What AlphaFold teaches us about deep learning with prior knowledge”.

This book is a survey of the most important developments in Austrian philosophy in its classical period from the 1870s to the Anschluss in 1938. Thus it is intended as a contribution to the history of philosophy. But I hope that it will be seen also as a contribution to philosophy in its own right as an attempt to philosophize in the spirit of those, above all Roderick Chisholm, Rudolf Haller, Kevin Mulligan and Peter Simons, who have done so much (...) to demonstrate the continued fertility of the ideas and methods of the Austrian philosophers in our own day. For some time now, historians of philosophy have been gradually coming to terms with the idea that post-Kantian philosophy in the German-speaking world ought properly to be divided into two distinct traditions which we might refer to as the German and Austrian traditions, respectively. The main line of the first consists in a list of personages beginning with Kant, Fichte, Hegel and Schelling and ending with Heidegger, Adorno and Bloch. The main line of the second may be picked out similarly by means of a list beginning with Bolzano, Mach and Meinong, and ending with Wittgenstein, Neurath and Popper. As should be clear, it is the Austrian tradition that has contributed most to the contemporary mainstream of philosophical thinking in the Anglo-Saxon world. For while there are of course German thinkers who have made crucial contributions to the development of exact or analytic philosophy, such thinkers were outsiders when seen from the perspective of native German philosophical culture, and in fact a number of them found their philosophical home precisely in Vienna. When, in contrast, we examine the influence of the Austrian line, we encounter a whole series of familiar and unfamiliar links to the characteristic concerns of more recent philosophy of the analytic sort. As Michael Dummett points out in his Origins of Analytic Philosophy, the newly fashionable habit of referring to analytic philosophy as "Anglo-American" is in this light a "grave historical distortion". If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy "could at least as well be called "Anglo-Austrian" (1988, p. 7). Much valuable scholarly work has been done on the thinking of Husserl and Wittgenstein, Mach and the Vienna Circle. The central axis of Austrian philosophy, however, which as I hope to show in what follows is constituted by the work of Brentano and his school, is still rather poorly understood. Work on Meinong or Twardowski by contemporary philosophers still standardly rests upon simplified and often confused renderings of a few favoured theses taken out of context. Little attention is paid to original sources, and little effort is devoted to establishing what the problems were by which the Austrian philosophers in general were exercised -- in spite of the fact that many of these same problems have once more become important as a result of the contemporary burgeoning of interest on the part of philosophers in problems in the field of cognitive science. (shrink)

The list which follows is intended as a comprehensive bibliographical survey of the wider Gestalt tradition from Graz and Berlin to Padua, Frankfurt and New York. It presents diagrammatically the main influence and teacher-pupil relationships also groupings into schools. It includes the classical texts of the Gestalt psychological tradition, together with the more important translations and reprints thereof. Special attention is paid to works on the following topics: - the concept of Prägnanz or `good form' and related treatments of aesthetic (...) phenomena and of pattern recognition - cognitive processes and problem-solving - criticisms of Gestalt theoru - phenomenal causation - figure-ground relations , phenomenaI boundaries, subjective contours - phenomenal motion - perceptual constancies - philosophical inquiries into the nature of `configuration'. `relation', `structure', etc . , and writing on psychological holism (but only insofar as they relate directly to the literature of Gestalt psychology proper). (shrink)

We can illustrate the phenomenon of model-induced escape by examining the phenomenon of spam filters. Spam filter A is, we can assume, very effective at blocking spam. Indeed it is so effective that it motivates the authors of spam to invent new types of spam that will beat the filters of spam filter A. -/- An example of this phenomenon in the realm of philosophy is illustrated in the work of Nyíri on Wittgenstein's political beliefs. Nyíri writes a paper demonstrating (...) convincingly that there are strong signals of a conservative strain of thought in the writings of Wittgenstein. This has initially a tiny effect; but then a more significant effect sets in as the authors of Wittgenstein secondary literature, consciously or unconsciously, draw attention to features of Wittgenstein which cast the conservatism thesis in a negative light. This is an example of what I call model-induced escape: the Nyíri model of Wittgenstein initiates a process which undermines the Nyíri model of Wittgenstein. -/- Wittgenstein, as obiectum philosophiae, is reduced to a constantly mutating set of interpretations of a certain body of work. -/- Perhaps this is what makes philosophy so problematic when viewed from the perspective of results, or in other words of signs of progress commonly accepted across the discipline. There are just too many ways of inducing escape from any given putative discovery; too many dimensions along which an interpretative or definitional arms race can be triggered. (shrink)

This paper is a fresh attempt to articulate the role of a theory of truthmakers. We argue that truthmaker theory constitutes a cornerstone of good methodology in metaphysics, but that a conflation of truthmaker theory with the theory of truth has been responsible for certain excesses associated with truthmaker-based approaches in the recent literature. If truthmaker theory is not a component of a theory of truth, then truthmaker maximalism – the view that every truth has a truthmaker – loses its (...) primary motivation. More generally, if the task of truthmaker theory is not to provide a definition or account of truth in truthmaker terms, there is no pressing need for hard, a priori principles stating which truths have truthmakers and which do not. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

In 1890 Christian von Ehrenfels published his classic paper "Über 'Gestaltqualitäten'", the first systematic investigation of the philosophy and psychology of Gestalt. Ehrenfels thereby issued an important challenge to the psychological atomism that was still predominant in his day. His paper not only exerted a powerful influence on the philosophy of the Meinong school, it also marked the beginning of the Gestalt tradition in psychology, later associated with the work of Wertheimer, Köhler and Koffka in Berlin. Includes papers by C. (...) Von Ehrenfels, Kurt Grelling and Paul Oppenheim and contributions by K. Mulligan, P.M. Simons and Barry Smith. (shrink)